/* binary-io.h: empty */
